Rigorous System Level Modeling and Analysis of Mixed HW/SW Systems

机译：硬件/软件混合系统的严格系统级建模和分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Bourgos, Paraskevas; Basu, Ananda; Bensalem, Saddek; Bozga, Marius; Sifakis, Joseph; Huang, Kai;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC [J] . Timm Liebrenz, Verena Klös, Paula Herber Ada Letters . 2016,第2期

机译：SystemC中建模的硬件/软件协同设计的自动分析和抽象
2. VHDL-language as an tool for joint HW/SW-designing and modeling of built-in system [J] . Sharipova N. N., Zavadskaya E. A. Автоматизация и современные технологии . 1999,第8期

机译：VHDL语言作为集成硬件和软件设计和内置系统建模的工具
3. VHDL-language as an tool for joint HW/SW-designing and modeling of built-in system [J] . Sharipova N. N., Zavadskaya E. A. Автоматизация и современные технологии . 1999,第8期

机译：VHDL语言作为内置系统联合HW / SW的设计和建模的工具
4. Rigorous system level modeling and analysis of mixed HW/SW systems [C] . Bourgos P., Basu A., Bozga M., Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign . 2011

机译：硬件/软件混合系统的严格系统级建模和分析
5. Flexible HW-SW Design and Analysis of an MMT-based MANET System on FPGA. [D] . Yi, Huixiang. 2013

机译：在FPGA上基于MMT的MANET系统的灵活HW-SW设计和分析。
6. Correction: Towards a Rigorous Assessment of Systems Biology Models: The DREAM3 Challenges [O] . Robert J. Prill, Daniel Marbach, Julio Saez-Rodriguez, 2010

机译：更正：对系统生物学模型的严格评估：DREAM3的挑战
7. Rigorous system level modeling and analysis of mixed HW/SW systems [O] . P. Bourgos, A. Basu, M. Bozga, 2011

机译：严格的系统级建模和混合硬件/软件系统分析
8. The Self-Consistent Calculation of Pseudo-Molecule Energy Levels, Construction of Energy Level Correlation Diagrams and an Automated Computation System for Scf-X(Alpha)-Sw Calculations [R] . Schlosser, H. 1981

机译：伪分子能级的自洽计算，能级关联图的构建和scf-X（alpha）-sw计算的自动计算系统

Rigorous System Level Modeling and Analysis of Mixed HW/SW Systems

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅